منابع مشابه
The FaCT System
FaCT is a Description Logic classifier which has been implemented as a test-bed for a highly optimised tableaux satisfiability (subsumption) testing algorithm. The correspondence between modal and description logics also allows FaCT to be used as a theorem prover for the propositional modal logics K, KT, K4 and S4. Empirical tests have demonstrated the effectiveness of the optimised implementat...
متن کاملTo freeze or not to freeze
Male and female rats respond to a fearful experience in different ways, but this was not previously taken into account in research into psychiatric disorders.
متن کاملThe andropause: fact or fiction?
The so-called andropause is an ill-defined collection of symptoms in a group of men who may have low but may also have normal androgen levels. Unlike the proven benefits of hormone replacement therapy in women, the effects of testosterone supplementation in men are equivocal. It may increase sexual interest, but rarely to a level thought adequate by the patient. It has no proven beneficial effe...
متن کاملThe Online Freeze-Tag Problem
We consider the following problem from swarm robotics: given one or more “awake” robots in some metric space M , wake up a set of “asleep” robots. A robot awakens a sleeping robot by moving to the sleeping robot’s position. When a robot awakens, it is available to assist in awakening other slumbering robots. We investigate offline and online versions of this problem and give a 2-competitive str...
متن کاملComparative study of three drying methods: freeze, hot air- assisted freeze and infrared-assisted freeze modes
The dehydration tests were conducted at three drying methods to evaluate the drying curves and the energy uptake. Apple (Malus domestica L.) cubes were dried under different processing conditions applying freeze drying (FD), freeze drying assisted by hot air and freeze drying assisted by infrared radiation. Control samples were produced using regular freeze drying without the pre-drying. Hot ai...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Joule
سال: 2018
ISSN: 2542-4351
DOI: 10.1016/j.joule.2018.09.023